def f(x: int) -> None: ...
